]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33c074c) | patch
extensions-app: Use banner instead of action bar
authorFlorian Müllner <fmuellner@gnome.org>
Thu, 7 Dec 2023 18:10:40 +0000 (19:10 +0100)
committerMarge Bot <marge-bot@gnome.org>
Mon, 11 Dec 2023 14:24:01 +0000 (14:24 +0000)
commit2d34fbe2e7b9ff1c813600ada91a6948d47b10f7
tree50dad63b72b083d8d5784623b4a82bd51275bafdtree | snapshot
parent33c074c738b5e92e3c7efebeca7083db98c4dc72commit | diff
extensions-app: Use banner instead of action bar

Action bars have largely gone out of fashion, and Banner is an
appropriate replacement in our case, so switch to that.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3048>
subprojects/extensions-app/data/ui/extensions-window.ui diff | blob | history
subprojects/extensions-app/js/main.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.